$\forall$$n$:$\mathbb{N}$. \{$m$:$\mathbb{N}\mid$ $m$ = fib($n$) $\in$ $\mathbb{N}$\}